منابع مشابه
Higher Order Multi-Valued Resolution
This paper introduces a multi-valued variant of higher-order resolution and proves it correct and complete with respect to a variant of Henkin’s general model semantics. This resolution method is parametric in the number of truth values as well as in the particular choice of the set of connectives (given by arbitrary truth tables) and even substitutional quantifiers. In the course of the comple...
متن کاملSeki Report Higher-order Multi-valued Resolution Higher-order Multi-valued Resolution
This paper introduces a multi-valued variant of higher-order resolution and proves it correct and complete with respect to a natural multi-valued variant of Henkin's general model semantics. This resolution method is parametric in the number of truth values as well as in the particular choice of the set of connectives (given by arbitrary truth tables) and even substitutional quantiiers. In the ...
متن کاملHigher-Order Flexibilities in Multi-Valued Networks
Computation of complete flexibility (CF) of a node in the non-deterministic MV network is introduced in [10]. CF describes the freedom to modify a node without violating the functionality of the network. It is defined for a node assuming a fixed representation of other nodes. CF is a first-order flexibility because it allows for optimization of one node at a time. In this paper, we extend the c...
متن کاملHigher-Order Order-Sorted Resolution
The introduction of sorts to rst-order automated deduction has brought greater conciseness of representation and a considerable gain in eeciency by reducing the search space. It is therefore promising to treat sorts in higher order theorem proving as well. In this paper we present a generalization of Huet's Constrained Resolution to an order-sorted type theory T with term declarations. This sys...
متن کاملExtensional Higher-Order Resolution
In this paper we present an extensional higher-order resolution calculus that is complete relative to Henkin model semantics. The treatment of the extensionality principles – necessary for the completeness result – by specialized (goal-directed) inference rules is of practical applicability, as an implentation of the calculus in the Leo-System shows. Furthermore, we prove the long-standing conj...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Non-Classical Logics
سال: 1999
ISSN: 1166-3081,1958-5780
DOI: 10.1080/11663081.1999.10510980